Adding Branching to the Strand Space Model
نویسندگان
چکیده
منابع مشابه
Adding Branching to the Strand Space Model
The strand space model is one of the most successful and widely used formalisms for analysing security protocols. This might seem surprising given that the model is not able to reflect choice points in a protocol execution: the key concept in the strand space model is that of a bundle, which models exactly one possible execution of a security protocol. Inspired by the branching processes of Pet...
متن کاملEnhancing Space Exploration by Adding Astrosociology to the STEM Model
[Abstract]. The STEM acronym emphasizes the renewed desire by space professionals (including NASA) and others involved in education to focus more strongly on science, technology, engineering, and mathematics. Based on the precipitous decline in the number of students choosing these areas for their future careers, this emphasis seems reasonable. NASA, as the example utilized in this paper, faces...
متن کاملAdding Branching Temporal Dimension to Qualitative Coalitional Games with Preference
REGULAR PAPERS Handwritten Nushu Character Recognition Based on Hidden Markov Model Jiangqing Wang and Rongbo Zhu Semi-supervised Learning for SVM-KNN Kunlun Li, Xuerong Luo, and Ming Jin Exploration on Feature Extraction Schemes and Classifiers for Shaft Testing System Kyungmi Lee Design of Grid Resource Management System Based on Information Service Qian Zhang and Zhen Li Sampling Theorem Ass...
متن کاملExtending the Strand Space Model for Security Protocol Composition
We extend the regular strand space model with specialized terms and we provide a message construction schema for security protocols, based on grammatical rules. Using the extended model, we present two security protocol specification models that are used by the authors in the sequential and parallel composition of security protocols.
متن کاملTriple Space Computing: Adding Semantics to Space-Based Computing
Triple Space Computing (TSC) is a very simple and powerful paradigm that inherits the communication model from Tuple Space Computing and projects it in the context of the Semantic Web. In this paper, we propose Triple Space Computing as a new communication and coordination framework for Semantic Web and Semantic Web Services. We identify the value added by TSC and propose the overall architectu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.017